منابع مشابه
Communication in Concurrent Dynamic Logic
Communication mechanisms are introduced into the program schemes of Concurrent Dynamic Logic, on both the propositional and the first-order levels. The elfects of these mechanisms (particularly, channels, shared variables, and “message collectors”) on issues of expressiveness and decidability are investigated. In general, we find that both respects are dominated by the extent to which the capab...
متن کاملModelling Simultaneous Games with Concurrent Dynamic Logic
We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quanti...
متن کاملTableaux for constructive concurrent dynamic logic
This is the first paper on constructive concurrent dynamic logic (CCDL). For the first time, either for concurrent or sequential dynamic logic, we give a satisfactory treatment of what statements are forced to be true by partial information about the underlying computer. Dynamic logic was developed by Pratt [V. Pratt, Semantical considerations on Floyd–Hoare logic, in: 17th Annual IEEE Symp. on...
متن کاملDynamic Task Communication for Concurrent Processing in Distributed Systems Concurrent Engineering: Research and Applications Dynamic Task Communication for Concurrent Processing in Distributed Systems
This paper presents a formal methodology and a set of design and programming tools for the development of concurrently communicating systems that execute in distributed computing environments. In order to solve the complex problems of synchronization and communication between dynamically distributed tasks, the distributed programming system uses an internal process-algebra-based mechanism, and ...
متن کاملAnalyzing Communication with Dynamic Epistemic Logic
This paper introduces and documents DEMO, a Dynamic Epistemic Modelling tool. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, translation of dynamic epistemic formulas to PDL formulas. Also, DEMO implements the reduction of dynamic epistemic logic [22, 2, 3, 1] to PDL given in [17] and pres...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1987
ISSN: 0022-0000
DOI: 10.1016/0022-0000(87)90035-3